Search CORE

10 research outputs found

Decision procedures for algebraic data types with abstractions

Author: Barrett C.
Beckert B.
Bradley A.R.
Dunfield J.
Fontaine P.
Ganzinger H.
Kuncak V.
Mal'cev A.I.
Meijer E.
Mirco Dotta
Odersky M.
Philippe Suter
Piskac R.
Viktor Kuncak
Walker D.
Xi H.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Various remarks on quasi-universal model classes

Author: A. Robinson
A.I. Mal'cev
A.I. Mal'cev
K. Kaiser
Klaus Kaiser
M. Armbrust
S.R. Kogalovskii
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

ON VARIETIES OF GROUPS WITHOUT POSITIVE LAWS

Author: Mal'cev A.I.
O. Macedońska
P. Kozhevnikov
Shevrin L.N.
Publication venue: 'Informa UK Limited'
Publication date
Field of study

Quasi-axiomatic classes

Author: A. Robinson
A.I. Mal'cev
A.I. Mal'cev
H.J. Keisler
J.L. Bell
K. Kaiser
K. Kaiser
Klaus Kaiser
M. Armbrust
S. Kochen
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Finitely presented and coherent ordered modules and rings

Author: Caillot J.F.
F. Wehrung
Goodearl K.R.
Keimel K.
Mal'cev A.I.
Publication venue: 'Informa UK Limited'
Publication date
Field of study

Combination of constraint systems II: Rational amalgamation

Author: A. Colmerauer
A.I. Mal'cev
B. Courcelle
F. Baader
G. Smolka
H. Ait-Kaci
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Interpreting number theory in nilpotent groups

Author: A.I. Mal'cev
B. Weglorz
B.A.F. Wehrfritz
D. Saracino
G. Sabbagh
J. Hirschfeld
R.B. Warfield
Wilfrid Hodges
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

On relational selections for complete theories

Author: A.I. Mal'cev
G. Grätzer
G. Grätzer
J.L. Bell
K. Kaiser
Klaus Kaiser
M. Armbrust
S. Kochen
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Perturbations ofH-selfadjoint matrices, with applications to differential equations

Author: A.I. Mal'cev
A.S. Marcus
I. Gohberg
I. Gohberg
I. Gohberg
I. Gohberg
I.C. Gohberg
I.M. Gelfand
L. Rodman
L.K. Hua
M.G. Krein
N. Levinson
P. Lancaster
P. Lancaster
S. Helgason
V.B. Lidskii
W.A. Coppel
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Stability of neutral invariant subspaces in indefinite inner products and stable symmetric factorizations

Author: A. C. M. Ran
A.C.M. Ran
A.I. Mal'cev
H. Bart
H. Bart
H. Bart
H. Boer Den
I. Gohberg
I. Gohberg
I.M. Glazman
I.S. Iohvidov
J. Bognar
L. Rodman
Loo-Keng Hua
S. Campbell
T. Kato
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core